Proofs for fun